AUTOMATION OF DATAFLOW REAL-TIME COMPUTING SYSTEM DIAGNOSTICS
Annotation
Subject of Research. The paper considers the design issues of fault diagnostic tools in information exchange addressing between program modules for a dataflow real-time computing system. Despite the decomposition of design process on the basis of a hierarchical approach, it is quite complicated, and the problem of its automation remains an urgent challenge. Method. The design automation of model and tests for a dataflow real-time computing system is performed on the basis of decomposition and by applying discrete-event modeling. Main Results. We have developed the instrumental environment automating procedure for model design, generation of test actions and reference output sequences. Its briefdescription is given. The environment functional is based on the synthesis algorithms of the system dynamic model and the test formation for exchange diagnostics between the system software modules. Practical Relevance. The developed tool environment gives the possibility to reduce significantly the design time of diagnostic tools for dataflow real-time computing systems.
Keywords
Постоянный URL
Articles in current issue
- APPLICATION OF MICROWAVE PHOTONICS IN FIBER OPTICAL SENSORS
- OPTICAL-ELECTRONIC COMPLEX OF DETAILED SURVEILLANCE
- THE ORETICAL MODEL OF COLOR CHANGE FOR MILK REDUCTASE SAMPLE WITH RESAZURIN FOR MILK QUALITY CONTROL DURING ITS STORAGE
- TRANSMISSION CHANNEL ALIGNMENT FOR LASER LOCATION SYSTEM
- ENERGY EFFICIENCY CALCULATION OF GAS-DISCHARGE FLASH LAMPS
- EFFECT OF 3D PRINTING MODES BY CERAMICS AND SINTERING ON SHRINKAGE PROCESS OF THIN-WALLED PARTS
- ENERGY CHARACTERISTICS OF CARBON-BASED COMPOSITE HEAT ELECTRIC STORAGE
- DIFFERENTIATED CAPACITY EXTENSION METHOD FOR SYSTEM OF DATA STORAGE WITH MULTILEVEL STRUCTURE
- FAST IN-FRAME CODING ALGORITHM FOR HEVC BASED ON PROBABILITY OF MODE SELECTION
- PERSPECTIVE DEVELOPMENT OF ENERGY SYSTEMS IN CONDITIONS OF RUSSIAN ECONOMY DIGITAL TRANSFORMATION
- VERIFICATION OF DYNAMIC MEMORY ALLOCATORS BASED ON SYMBOLIC PROGRAM EXECUTION
- MATHEMATICAL MODELING OF ANGULAR DIFFERENCE BETWEEN TEETH DIRECTION IN ZONE OF ENGAGEMENT AND COMPLETENESS OF CONTACT IN GEARS
- MACHINE LEARNING METHODS FOR FORECASTING OF SOCIAL NETWORK USERS’ REACTION
- TRANSIENT MODELING IN COMMON DC LINK OF POWER CONVERTERS
- ENERGY STORAGE DEVICE OPTIMIZATION IN PERIPHERY-TYPE DOCKING ASSEMBLY
- MOTION EQUATION AVERAGING IN POTENTIAL AUTONOMOUS SYSTEMS
- COMPARATIVE STUDY OF SPATIAL CHARACTERISTICSOF DUAL MICROPHONE ARRAYS
- MODELING OF MEMBRANE SURFACE STATE UNDER POINT IMPACT
- IN MEMORY OF YURI YAKUSHENKOV